Optimal Multi-robot path planning with LTL constraints: guaranteeing correctness through synchronization

机译：具有时间逻辑约束的多机器人路径规划的最优性和鲁棒性

机译：DDM：使用多元化路径和最优子问题解决方案数据库启发式快速近乎最佳多机器人路径规划

机译：通信约束下的多机器人信息驱动路径规划

机译：具有LTL约束的最佳多机器人路径规划：通过同步保证正确性

机译：具有路径内约束的域中的多机器人协调。

机译：具有障碍物和保障期约束的多机器人持久保障的新型合作路径规划

机译：具有LTL约束的最优多机器人路径规划：保证   通过同步正确性

机译：多机器人系统的完全覆盖路径规划方法

机译：用于规划和/或控制多机器人系统的工具，具有同步器，该同步器将一个机器人的过程或状态与另一机器人的过程或状态与协作参考轴点相关联

机译：具有杠杆约束和可选担保的最优投资组合的自适应构建方法和系统